With vcpu->domain->arch.perdomain_l3_pg no longer getting set up for
the idle domain, this creates an invalid L4 entry (due to translating
a NULL struct page_info pointer to a physical address).
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: George Dunlap <george.dunlap@eu.citrix.com>
scheduler_init();
set_current(idle_vcpu[0]);
this_cpu(curr_vcpu) = current;
- setup_idle_pagetable();
}
void __devinit srat_detect_node(int cpu)
panic("Not enough memory for m2p table\n");
}
-void __init setup_idle_pagetable(void)
-{
- /* Install per-domain mappings for idle domain. */
- l4e_write(&idle_pg_table[l4_table_offset(PERDOMAIN_VIRT_START)],
- l4e_from_page(idle_vcpu[0]->domain->arch.perdomain_l3_pg,
- __PAGE_HYPERVISOR));
-}
-
void __init zap_low_mappings(void)
{
BUG_ON(num_online_cpus() != 1);
extern l1_pgentry_t l1_identmap[L1_PAGETABLE_ENTRIES],
l1_fixmap[L1_PAGETABLE_ENTRIES];
void paging_init(void);
-void setup_idle_pagetable(void);
#endif /* !defined(__ASSEMBLY__) */
#define _PAGE_PRESENT _AC(0x001,U)